%%
%% This is file `sample-sigconf.tex',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% samples.dtx  (with options: `sigconf')
%% 
%% IMPORTANT NOTICE:
%% 
%% For the copyright see the source file.
%% 
%% Any modified versions of this file must be renamed
%% with new filenames distinct from sample-sigconf.tex.
%% 
%% For distribution of the original source see the terms
%% for copying and modification in the file samples.dtx.
%% 
%% This generated file may be distributed as long as the
%% original source files, as listed above, are part of the
%% same distribution. (The sources need not necessarily be
%% in the same archive or directory.)
%%
%% The first command in your LaTeX source must be the \documentclass command.
\documentclass[sigconf, anonymous, review]{acmart}
%\documentclass[sigconf, anonymous]{acmart}
%\documentclass[sigconf]{acmart}
%%
%% \BibTeX command to typeset BibTeX logo in the docs
%\AtBeginDocument{%
%  \providecommand\BibTeX{{%
%    \normalfont B\kern-0.5em{\scshape i\kern-0.25em b}\kern-0.8em\TeX}}}

%% Rights management information.  This information is sent to you
%% when you complete the rights form.  These commands have SAMPLE
%% values in them; it is your responsibility as an author to replace
%% the commands and values with those provided to you when you
%% complete the rights form.
%\setcopyright{acmcopyright}
%\copyrightyear{2018}
%\acmYear{2018}
%\acmDOI{10.1145/1122445.1122456}

%% These commands are for a PROCEEDINGS abstract or paper.
%%\acmConference[Woodstock '18]{Woodstock '18: ACM Symposium on Neural
%%  Gaze Detection}{June 03--05, 2018}{Woodstock, NY}
%%\acmBooktitle{Woodstock '18: ACM Symposium on Neural Gaze Detection,
%%  June 03--05, 2018, Woodstock, NY}
%%\acmPrice{15.00}
%%\acmISBN{978-1-4503-XXXX-X/18/06}


%%
%% Submission ID.
%% Use this when submitting an article to a sponsored event. You'll
%% receive a unique submission ID from the organizers
%% of the event, and this ID should be used as the parameter to this command.
%%\acmSubmissionID{123-A56-BU3}

%%
%% The majority of ACM publications use numbered citations and
%% references.  The command \citestyle{authoryear} switches to the
%% "author year" style.
%%
%% If you are preparing content for an event
%% sponsored by ACM SIGGRAPH, you must use the "author year" style of
%% citations and references.
%% Uncommenting
%% the next command will enable that style.
%%\citestyle{acmauthoryear}


%\usepackage{arxiv}

%\usepackage[utf8]{inputenc} % allow utf-8 input
%\usepackage[T1]{fontenc} %\usepackage{ae} \usepackage{aecompl} % use 8-bit T1 fonts
%\usepackage{hyperref}       % hyperlinks
%\usepackage{url}            % simple URL typesetting
%\usepackage{booktabs}       % professional-quality tables
%\usepackage{amsfonts}       % blackboard math symbols
%\usepackage{nicefrac}       % compact symbols for 1/2, etc.
%\usepackage{microtype}      % microtypography
%\usepackage{lipsum}

\usepackage{bbm}           % allows to write the "blackboard 1" symbol \mathbbm{1}
\usepackage{amsthm}
\usepackage{amsmath}
%\usepackage{amssymb}  
\usepackage[]{algorithm2e}

%\usepackage{xfrac}

%\usepackage{pgf,tikz,pgfplots}
%\pgfplotsset{compat=1.14}
%\usepackage{mathrsfs} %provides nicer typesetting of calligraphic letters: $\mathscr{ABC}$
%\usetikzlibrary{arrows}

\hyphenation{block-chain}
\hyphenation{demo-cracy}

\newcommand{\R}{\mathbb{R}_{\geq 0}}
\newcommand{\eps}{\varepsilon}
\DeclareMathOperator*{\argmax}{arg\,max}
\DeclareMathOperator*{\argmin}{arg\,min}
\DeclareMathOperator*{\st}{stop}
\DeclareMathOperator{\ins}{Insert}
\DeclareMathOperator{\maxpscore}{MaxPscore}
\DeclareMathOperator{\maxprescore}{MaxPscore}
\DeclareMathOperator{\maxscore}{MaxScore}
\DeclareMathOperator{\interval}{FindInterval}
\DeclareMathOperator{\MMS}{MMS}
\DeclareMathOperator{\lazy}{LazyMMS}
\DeclareMathOperator{\phragmen}{seqPhragmen}
\DeclareMathOperator{\maxphragmen}{maxPhragmen}
\DeclareMathOperator{\phragmms}{Phragmms}
%\DeclareMathOperator{\balanced}{BalPhragmms}
\DeclareMathOperator{\LSPJR}{LS-Phragmms}
\DeclareMathOperator{\local}{LS-Phragmms}
%\DeclareMathOperator{\balancing}{balancing}
\DeclareMathOperator{\bal}{Bal}
\DeclareMathOperator{\supp}{supp}
\DeclareMathOperator{\score}{score}
\DeclareMathOperator{\pscore}{pscore}
\DeclareMathOperator{\prescore}{pscore}
\DeclareMathOperator{\slack}{slack}

\newtheorem{theorem}{Theorem}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem*{lemma*}{Lemma}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem*{heuristic}{Heuristic}

\title{A verifiably secure and proportional committee election rule}

\author{Alfonso Cevallos}
\email{alfonso@web3.foundation}
\orcid{0000-0001-8622-5830}
\affiliation{%
  \institution{Web 3.0 Technologies Foundation}
  \city{Zug}
  \country{Switzerland}
}
\author{Alistair Stewart}
\email{alistair@web3.foundation}
\affiliation{%
  \institution{Web 3.0 Technologies Foundation}
  \city{Zug}
  \country{Switzerland}
}

\begin{document}
\input{abstract.tex}

\keywords{computational social choice, approval-based committee election, approximation algorithms, proof-of-stake, blockchain}

\maketitle


%\newpage

\input{intro.tex}

\input{preliminaries.tex}

\input{complexity.tex}

\input{heuristic.tex}

\input{approx315.tex}

\input{verifiable.tex}

\input{implementation.tex}

\input{conclusion.tex}


\bibliographystyle{ACM-Reference-Format}
\bibliography{references}

\appendix

\input{local.tex}

\input{balanced.tex}

\input{flow.tex}

\input{algorithms}

\input{lazymms.tex}

\input{proofs.tex}



\end{document}
